51![On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany](https://www.pdfsearch.io/img/3391e99f65b2646cd834dc1f24d65346.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2009-10-14 11:24:50
|
---|
52![Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008](https://www.pdfsearch.io/img/116dd01daed22c59c319547e8d6b45e5.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2008-09-01 05:59:33
|
---|
53![FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question:](https://www.pdfsearch.io/img/902cb23719656c6305668528fa97210c.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:34:29
|
---|
54![On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade](https://www.pdfsearch.io/img/4616a23f2b520bcc47f7a836e8633f7e.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:34:17
|
---|
55![Analytic equivalence relations with ℵ1 -many classes: A computability theoretic approach. Antonio Montalb´an U.C. Berkeley Logic Colloquium Analytic equivalence relations with ℵ1 -many classes: A computability theoretic approach. Antonio Montalb´an U.C. Berkeley Logic Colloquium](https://www.pdfsearch.io/img/0ce318564a7786b77666179add07979f.jpg) | Add to Reading ListSource URL: logic.berkeley.edu.Language: English - Date: 2015-09-11 13:43:57
|
---|
56![Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany](https://www.pdfsearch.io/img/98077164fa80cfdd36ad80987965061c.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:33:39
|
---|
57![I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE](https://www.pdfsearch.io/img/ab59172763687a98b6d5a8c7c75788d0.jpg) | Add to Reading ListSource URL: ludovicpatey.comLanguage: English - Date: 2014-07-04 08:41:44
|
---|
58![Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme](https://www.pdfsearch.io/img/bf8e442a32aea11c075f9e49155daf4e.jpg) | Add to Reading ListSource URL: cca-net.deLanguage: English - Date: 2008-08-19 05:08:00
|
---|
59![ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages](https://www.pdfsearch.io/img/f562a74a9599c6a86cbfca0161cebbf5.jpg) | Add to Reading ListSource URL: ludovicpatey.comLanguage: English - Date: 2013-04-16 05:40:44
|
---|
60![Partial Orders and Immunity in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Partial Orders and Immunity in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE](https://www.pdfsearch.io/img/cf87574506e822c5aaee7ad3ee1bc6a8.jpg) | Add to Reading ListSource URL: ludovicpatey.comLanguage: English - Date: 2016-04-14 09:51:48
|
---|